(Q)CompSAT and (Q)PicoSAT at the SAT’06 Race
نویسنده
چکیده
This report describes the new features of our four SAT solvers that entered the SAT’06 Race affiliated to the SAT’06 conference in Seattle. Two core solvers were submitted, CompSAT and PicoSAT. We also integrated these two solvers as back end into our QBF solver Quantor [1]. Quantor can be used for purely propositional problems. Then it is used as preprocessor very similar to SATeLite [6]. The resulting solvers are called QCompSAT and QPicoSAT.
منابع مشابه
Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010
This note serves as system description for our SAT solvers that entered the SAT Race 2010 affiliated to the SAT conference 2010.
متن کاملCertification of SAT Solvers in Coq
We describe here a fully portable, open source certifier for traces of SAT problems produced by zChaff [6]. It can also be easily adapted for MiniSat [4], PicoSat [2] and Booleforce, which we have done for PicoSat. Our certifier has been developped with the proof assistant Coq. We give some figures based on the pigeon hole, comparing both PicoSat and zChaff on the one hand, and our certifier wi...
متن کاملPicoSAT Essentials
In this article we describe and evaluate optimized compact data structures for watching literals. Experiments with our SAT solver PicoSAT show that this low-level optimization not only saves memory, but also turns out to speed up the SAT solver considerably. We also discuss how to store proof traces compactly in memory and further unique features of PicoSAT including an aggressive restart sched...
متن کاملP { re , i } coSAT @ SC ’ 09 Armin Biere
In this note we describe the new features of PicoSAT version 913 as it was submitted to the SAT competition 2009. It also contains a description of our new solver PrecoSAT version 236, which tightly integrates various preprocessing techniques into a PicoSAT like core engine.
متن کاملPicosat Versions 535 1 Restarts and Phases 3 Occurrence Lists
Our SAT solver PicoSAT is an attempt to optimize low-level performance of BooleForce, which shares many of its key features with MiniSAT version 1.14. In this short note we describe the features of PicoSAT version 535, which is the version that was submitted to the SAT 2007 SAT Solver Competition. 1 Restarts and Phases PicoSAT uses an aggressive nested restart scheme, inspired by but simpler th...
متن کامل